Проверяемое вычисление (VC) - это выполнение определенной нагрузки таким образом, что генерируется доказательство его работы, которое может быть общедоступно проверено без повторного запуска вычислений. Помимо Bonsol, команда Anagram build исследовала множество мест в области VC, такие проекты, как Jolt, zkllvm, spartan 2, Binius, - те, которые мы отслеживаем, а также компании, работающие в области полностью гомоморфного шифрования (FHE).
5/8/2024, 3:10:14 PM